A Framework for CFG-based Static Program Analysis of Ada Programs

机译：基于CFG的ada程序静态程序分析框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Raul Fechete; Georg Kienesberger; Johann Blieberger;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A symbolic analysis framework for static analysis of imperative programming languages [J] . Bernd Burgstaller, Bernhard Scholz, Johann Blieberger The Journal of Systems and Software . 2012,第6期

机译：用于命令式编程语言静态分析的符号分析框架
2. PGFIT: Static permission analysis of health and fitness apps in IoT programming frameworks [J] . Nobakht Mehdi, Sui Yulei, Seneviratne Aruna, Journal of network and computer applications . 2020,第Feba期

机译：PGFIT：IOT编程框架中健康和健身应用的静态许可分析
3. PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs [J] . Di Wang, Jan Hoffmann, Thomas Reps ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2018,第4期

机译：PMAF：概率计划静态分析的代数框架
4. A Framework for CFG-Based Static Program Analysis of Ada Programs [C] . Raul Fechete, Georg Kienesberger, Johann Blieberger Ada-Europe International Conference on Reliable Software Technologies . 2008

机译：基于CFG的Ada程序静态程序分析框架
5. An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors. [D] . Chen, Qichang. 2011

机译：一个集成的静态和动态程序分析框架，用于检查与并发相关的编程错误。
6. Standardized framework for evaluating costs of active case-finding programs: An analysis of two programs in Cambodia and Tajikistan [O] . Youngji Jo, Farangiz Mirzoeva, Monyrath Chry, 2020

机译：用于评估活动案例查找计划成本的标准化框架：对柬埔寨和塔吉克斯坦的两个方案分析
7. An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs [O] . Wei Ran 2016

机译：可扩展的静态分析框架，用于模型管理程序的自动分析，验证和性能改进
8. User's Manual for ISADAB and SIBA, Computer Programs for Nonlinear Transverse Analysis of Highway Bridges Subjected to Static and Dynamic Lateral Loads [R] . Saiidi, M. , Lawver, R. , Hart, J. 1986

机译：IsaDaB和sIBa用户手册，用于静态和动态横向载荷的公路桥梁非线性横向分析的计算机程序

A Framework for CFG-based Static Program Analysis of Ada Programs

著录项

引文网络

相似文献

相关主题

期刊订阅